#ifndef __GLOBALS_H__
#define __GLOBALS_H__

// DO NOT use both NO_IDLE_BLOCK and HALF_IDLE_BLOCK.
//#define NO_IDLE_BLOCK
#define HALF_IDLE_BLOCK
#define KEEP_LEARNT_CLAUSE
//#define RANDOM_POLARITY
//#define ASSERT
//#define DEBUG_CUDASAT
#define DEBUG_CRITICAL
//#define DEBUG_ALL_SAT
//#define DEBUG_PARSER
//#define DEBUG_DPLL_INIT
//#define DEBUG_STATIC_VARIABLE_ORDER
//#define DEBUG_MEMORY

#endif /* __GLOBALS_H__ */